home *** CD-ROM | disk | FTP | other *** search
- package javax.help;
-
- import java.net.URL;
- import java.util.Hashtable;
- import javax.accessibility.Accessible;
- import javax.accessibility.AccessibleContext;
- import javax.help.Map.ID;
- import javax.help.event.HelpModelListener;
- import javax.help.event.TextHelpModelListener;
- import javax.help.plaf.HelpContentViewerUI;
- import javax.swing.JComponent;
- import javax.swing.JEditorPane;
- import javax.swing.UIManager;
- import javax.swing.text.EditorKit;
-
- public class JHelpContentViewer extends JComponent implements Accessible {
- protected TextHelpModel model;
- private Hashtable kitRegistry;
- private boolean debug = false;
-
- public JHelpContentViewer(HelpSet var1) {
- this.setModel(new DefaultHelpModel(var1));
- this.updateUI();
- }
-
- public JHelpContentViewer() {
- this.setModel(new DefaultHelpModel((HelpSet)null));
- this.updateUI();
- }
-
- public JHelpContentViewer(TextHelpModel var1) {
- this.setModel(var1);
- this.updateUI();
- }
-
- public void setModel(TextHelpModel var1) {
- this.debug("setModel: " + var1);
- TextHelpModel var2 = this.model;
- if (var1 != var2) {
- this.model = var1;
- this.firePropertyChange("helpModel", var2, this.model);
- this.invalidate();
- }
-
- }
-
- public TextHelpModel getModel() {
- return this.model;
- }
-
- public void setUI(HelpContentViewerUI var1) {
- this.debug("setUI");
- if ((HelpContentViewerUI)this.ui != var1) {
- super.setUI(var1);
- this.repaint();
- }
-
- }
-
- public HelpContentViewerUI getUI() {
- return (HelpContentViewerUI)this.ui;
- }
-
- public void updateUI() {
- SwingHelpUtilities.installUIDefaults();
- this.setUI((HelpContentViewerUI)UIManager.getUI(this));
- this.invalidate();
- }
-
- public String getUIClassID() {
- return "HelpContentViewerUI";
- }
-
- public void setCurrentID(Map.ID var1) throws InvalidHelpSetContextException {
- this.model.setCurrentID(var1);
- }
-
- public void setCurrentID(String var1) throws BadIDException {
- try {
- this.model.setCurrentID(ID.create(var1, this.getModel().getHelpSet()));
- } catch (InvalidHelpSetContextException var3) {
- }
-
- }
-
- public void setCurrentURL(URL var1) {
- this.model.setCurrentURL(var1);
- }
-
- public URL getCurrentURL() {
- return this.model.getCurrentURL();
- }
-
- public String getDocumentTitle() {
- return this.model.getDocumentTitle();
- }
-
- public void addHighlight(int var1, int var2) {
- this.model.addHighlight(var1, var2);
- }
-
- public void removeAllHighlights() {
- this.model.removeAllHighlights();
- }
-
- public EditorKit createEditorKitForContentType(String var1) {
- EditorKit var2 = null;
- if (this.kitRegistry == null) {
- this.kitRegistry = new Hashtable();
- } else {
- var2 = (EditorKit)this.kitRegistry.get(var1);
- }
-
- if (var2 == null) {
- HelpSet var3 = this.model.getHelpSet();
- String var4 = (String)var3.getKeyData(HelpSet.kitTypeRegistry, var1);
- if (var4 == null) {
- return null;
- }
-
- ClassLoader var5 = (ClassLoader)var3.getKeyData(HelpSet.kitLoaderRegistry, var1);
- if (var5 == null) {
- var5 = var3.getLoader();
- }
-
- try {
- Class var6;
- if (var5 != null) {
- var6 = var5.loadClass(var4);
- } else {
- var6 = Class.forName(var4);
- }
-
- var2 = (EditorKit)var6.newInstance();
- this.kitRegistry.put(var1, var2);
- } catch (Throwable var7) {
- var7.printStackTrace();
- var2 = null;
- }
- }
-
- if (var2 != null) {
- return (EditorKit)var2.clone();
- } else {
- var2 = JEditorPane.createEditorKitForContentType(var1);
- return var2;
- }
- }
-
- public void addTextHelpModelListener(TextHelpModelListener var1) {
- this.getModel().addTextHelpModelListener(var1);
- }
-
- public void removeHelpModelListener(TextHelpModelListener var1) {
- this.getModel().removeTextHelpModelListener(var1);
- }
-
- public void addHelpModelListener(HelpModelListener var1) {
- this.getModel().addHelpModelListener(var1);
- }
-
- public void removeHelpModelListener(HelpModelListener var1) {
- this.getModel().removeHelpModelListener(var1);
- }
-
- private void debug(String var1) {
- if (this.debug) {
- System.err.println("JHelpContentViewer: " + var1);
- }
-
- }
-
- public AccessibleContext getAccessibleContext() {
- if (this.accessibleContext == null) {
- this.accessibleContext = new AccessibleJHelpContentViewer(this);
- }
-
- return this.accessibleContext;
- }
-
- static {
- SwingHelpUtilities.installLookAndFeelDefaults();
- }
- }
-